// timer.h -- Defines the interface for all PIT-related functions.
//            Written for JamesM's kernel development tutorials.

#ifndef __TIMER_H__
#define __TIMER_H__

#include <common.h>

void init_timer(u32int frequency);

#endif
